PMAN4
SEL@KIT
Author: Hitoshi Osaki
  • Research duration: 2014 - 2014
  • Total publications: 1
Publication counts by year
  • Preprints
  • Book
  • Translation
  • Academic Journal
  • International Conference
  • International Conference (Journal First)
  • Domestic Conference
  • Article
  • Technical report
  • Workshop
  • Thesis
  • Talk
  • Award
  • Patent
Publication counts by category
Research keywords
automaticembeddedformalgenerationnetworkspecificationsystemstest
Publications
2014
Academic Journal

[1] Eun-Hye Choi, Hideaki Nishihara, Takahiro Ando, Nguyen Van Tang, Masahiro Aoki, Keiichi Yoshisaka, Osamu Mizuno, and Hitoshi Osaki, "Formal Specification based Automatic Test Generation for Embedded Network Systems", Journal of Applied Mathematics, 2014(Article ID 909762),  21pages, May 2014.

Copyright © 2025 omzn.aquatan.net a.k.a. Osamu Mizuno All rights reserved.

The publications displayed in this list is related to SEL@KIT members only.